<?php
	echo $saludo;
?>